Using Metamorphic Testing to Improve Dynamic Symbolic Execution Eman Alatawi Tim Miller

Source URL: people.eng.unimelb.edu.au

A Formal Semantics for Gaia Liveness Rules and Expressions Tim Miller and Peter McBurney∗ Department of Computer Science, University of Liverpool, Liverpool, L69 7ZF, UK {tim, p.j.mcburney}@csc.liv.ac.uk

Source URL: people.eng.unimelb.edu.au

1 Emotion-led modelling for people-oriented requirements engineering: the case study of emergency systems Tim Miller, University of Melbourne

Source URL: people.eng.unimelb.edu.au

Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases Christian Muise, Tim Miller, Paolo Felli, Adrian R. Pearce, Liz Sonenberg Department of Computing and Information Systems, University of Melbourne {ch

Source URL: people.eng.unimelb.edu.au

DISPATCHES Open for Business The MBA gets a makeover for a specialized age. JEFF MILLER (2)

Source URL: onwisconsin.uwalumni.com

• Wisconsin
• University of WisconsinMadison
• University of Wisconsin System
• V-12 Navy College Training Program
• Botulinum toxin
• Weinert Center
• University of WisconsinMilwaukee
• Madison
• Wisconsin
• Tim Cordes

‘Knowing whether’ in Proper Epistemic Knowledge Bases Tim Miller, Paolo Felli, Christian Muise, Adrian R. Pearce, Liz Sonenberg Department of Computing and Information Systems, University of Melbourne {tmiller,paolo.

Source URL: people.eng.unimelb.edu.au

A Preliminary Analysis of Interdependence in Multiagent Systems Ronal Singh, Tim Miller, Liz Sonenberg University of Melbourne, Melbourne, Australia. , , l.sonenberg@uni

Source URL: people.eng.unimelb.edu.au

Supporting the Software Testing Process through Specification Animation Tim Miller and Paul Strooper Software Verification Research Centre School of Information Technology and Electrical Engineering The University of Que

Source URL: people.eng.unimelb.edu.au

Planning Over Multi-Agent Epistemic States: A Classical Planning Approach Christian Muise∗ , Vaishak Belle† , Paolo Felli∗ , Sheila McIlraith† Tim Miller∗ , Adrian R. Pearce∗ , Liz Sonenberg∗ ∗ Departmen

Source URL: www.haz.ca

• Philosophy
• Modal logic
• Logic
• Epistemology
• Artificial intelligence
• Formal epistemology
• Modality
• Epistemic modal logic
• Dynamic epistemic logic
• Epistemic closure
• Causality
• Distribution

Challenged by the Caryophyllaceae? Lost in the Lamiaceae? An Identification Workshop Washington Weed Conference, November 6, 2002 Tim Miller, Extension Weed Scientist, WSU Mount Vernon Two plant families will be discusse

Source URL: mountvernon.wsu.edu